Exploiting equalities in polynomial programming

نویسندگان

  • Javier Peña
  • Juan Carlos Vera
  • Luis Fernando Zuluaga
چکیده

We propose a novel solution approach for polynomial programming problems with equality constraints. By means of a generic transformation, we show that solution schemes for the, typically simpler, problem without equalities can be used to address the problem with equalities. In particular, we propose new solution schemes for mixed binary programs, pure 0–1 quadratic programs, and the stable set problem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Semidefinite representations for finite varieties

We present a concise semidefinite formulation for the problem of minimizing a polynomial over a semi-algebraic set defined by polynomial equalities and inequalities. When the polynomial equalities define a radical ideal I with a finite variety, this representation involves combinatorial moment matrices, indexed by a basis of R[x1, . . . , xn]/I. The arguments are elementary and extend known fac...

متن کامل

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

A method for generating polynomial invariants of imperative programs is presented using the abstract interpretation framework. It is shown that for programs with polynomial assignments, an invariant consisting of a conjunction of polynomial equalities can be automatically generated for each program point. The proposed approach takes into account tests in conditional statements as well as in loo...

متن کامل

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

A method for generating polynomial invariants of imperative programs is presented using the abstract interpretation framework. It is shown that for programs with polynomial assignments, an invariant consisting of a conjunction of polynomial equalities can be automatically generated for each program point. The proposed approach takes into account tests in conditional statements as well as in loo...

متن کامل

Orienting Equalities with the Knuth-Bendix Order

Orientability of systems of equalities is the following problem: given a system of equalities s1 ≃ t1, . . . , sn ≃ tn, does there exist a simplification ordering ≻ which orients the system, that is for every i ∈ {1, ..., n}, either si ≻ ti or ti ≻ si. This problem can be used in rewriting for finding a canonical rewrite system for a system of equalities and in theorem proving for adjusting sim...

متن کامل

Interprocedural Polynomial Invariants Acknowledgement I Would like to Thank

This thesis describes techniques for static analysis of polynomial equalities in interprocedural programs. It elaborates on approaches for analysing polynomial equalities over different domains as well as techniques to apply polynomial analysis to infer interprocedurally valid equalities of uninterpreted terms. This work is organised in three major theoretical parts, followed by a practical par...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Oper. Res. Lett.

دوره 36  شماره 

صفحات  -

تاریخ انتشار 2008